

module Demo02 where

import Main


opts = default_options { opt_builtins_loc = "test/ochre.builtins" }




demo01  = main2 opts ["test/Inst01.ochre"]
{-
demo01a = runCompile "test/ochre.builtins" "test/Inst01.ochre" steps01_flatten_traits
demo01b = runCompile "test/ochre.builtins" "test/Inst01.ochre" steps02_flatten_super
demo01c = runCompile "test/ochre.builtins" "test/Inst01.ochre" steps03_translate_inter
demo01d = runCompile "test/ochre.builtins" "test/Inst01.ochre" steps04_expand_main
demo01e = runCompile "test/ochre.builtins" "test/Inst01.ochre" steps05_elim_tuple
-}

demo02  = main2 opts ["test/Tuple.ochre"]
{-
demo02a = runCompile "test/ochre.builtins" "test/Tuple.ochre" steps01_flatten_traits
demo02b = runCompile "test/ochre.builtins" "test/Tuple.ochre" steps02_flatten_super
demo02c = runCompile "test/ochre.builtins" "test/Tuple.ochre" steps03_translate_inter
demo02d = runCompile "test/ochre.builtins" "test/Tuple.ochre" steps04_expand_main
demo02e = runCompile "test/ochre.builtins" "test/Tuple.ochre" steps05_elim_tuple
-}

demo03  = main2 opts ["test/Inherit.ochre"]
{-
demo03a = runCompile "test/ochre.builtins" "test/Inherit.ochre" steps01_flatten_traits
demo03b = runCompile "test/ochre.builtins" "test/Inherit.ochre" steps02_flatten_super
demo03c = runCompile "test/ochre.builtins" "test/Inherit.ochre" steps03_translate_inter
demo03d = runCompile "test/ochre.builtins" "test/Inherit.ochre" steps04_expand_main
demo03e = runCompile "test/ochre.builtins" "test/Inherit.ochre" steps05_elim_tuple
-}


demo04  = main2 opts ["test/Super.ochre"]
{-
demo04a = runCompile "test/ochre.builtins" "test/Super.ochre" steps01_flatten_traits
demo04b = runCompile "test/ochre.builtins" "test/Super.ochre" steps02_flatten_super
demo04c = runCompile "test/ochre.builtins" "test/Super.ochre" steps03_translate_inter
demo04d = runCompile "test/ochre.builtins" "test/Super.ochre" steps04_expand_main
demo04e = runCompile "test/ochre.builtins" "test/Super.ochre" steps05_elim_tuple
-}

demo05  = main2 opts ["test/Ifte.ochre"]
{-
demo05a = runCompile "test/ochre.builtins" "test/Ifte.ochre" steps01_flatten_traits
demo05b = runCompile "test/ochre.builtins" "test/Ifte.ochre" steps02_flatten_super
demo05c = runCompile "test/ochre.builtins" "test/Ifte.ochre" steps03_translate_inter
demo05d = runCompile "test/ochre.builtins" "test/Ifte.ochre" steps04_expand_main
demo05e = runCompile "test/ochre.builtins" "test/Ifte.ochre" steps05_elim_tuple
-}


